$\forall$$r$:Rng, $u$, $v$:$\mid$$r$$\mid$, $b$:$\mathbb{B}$. ((when $b$. $u$) $\ast$ $v$) $=$ (when $b$. ($u$ $\ast$ $v$)) $\in$ $\mid$$r$$\mid$